<?php
  include("inc/functions.php");
  killSession($_SESSION['name']);
?>